branch and bound integer linear programming problme